Consistent inconsistency

Consistent Belief Reasoning in the Presence of Inconsistency

Since everything is a consequence of an inconsistency, classical logics are not useful in modeling the reasoning of an agent who has inconsistent beliefs. In this paper, we differentiate consistent beliefs from inconsistent beliefs. We propose two belief operators B c and B, standing for consistent belief and belief, respectively. B c has the modus ponens property, by which the agent is able to...

Being consistent about inconsistency: Toward the rational fusing of inconsistent propositional logic bases

This short note discusses preliminary steps in the way to a general picture of inconsistency handling in an information fusion perspective, by relating some natural approaches. Mathematics Subject Classification (2000). Primary 68T27,68T30; Secondary 03B42,03B53,03B60.

On inconsistency of a pairwise comparison matrix

Disciplined Inconsistency

Distributed applications and web services, such as online stores or social networks, are expected to be scalable, available, responsive, and fault-tolerant. To meet these steep requirements in the face of high round-trip latencies, network partitions, server failures, and load spikes, applications use eventually consistent datastores that allow them to weaken the consistency of some data. Howev...

Pollack-inconsistency

For interactive theorem provers a very desirable property is consistency : it should not be possible to prove false theorems. However, this is not enough: it also should not be possible to think that a theorem that actually is false has been proved. More precisely: the user should be able to know what it is that the interactive theorem prover is proving. To make these issues concrete we introdu...